Separation logic - PDFSEARCH.IO - Document Search Engine

Separation logic
Results: 136

#	Item
61	VisualizeSLE A Visual Editor for Separation Logic Entailments Aquinas Hobor, Soe Lin Myat, and Bimlesh Wadhwa School of Computing National University of Singapore Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2012-11-19 06:03:34
62	Verification of a Cryptographic Primitive: SHA-256 ANDREW W. APPEL, Princeton University A full formal machine-checked verification of a C program: the OpenSSL implementation of SHA-256. This is an interactive proof of f Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2014-12-23 10:16:22 Software engineering Programming language theory Theoretical computer science C++ Logic in computer science Proof assistants Data types SHA-2 Formal verification Separation logic Coq Functional programming
63	Separation Logic for Small-step Cminor Andrew W. Appel1,⋆ and Sandrine Blazy2,⋆ 1 Princeton University 2 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2007-06-09 21:39:12
64	Mechanized Verification of Fine-grained Concurrent Programs st * Consi PLDI * Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Theoretical computer science Mathematics Knowledge representation Tree Engineering Minimum spanning tree Graph Separation logic Topology
65	Translation Validation for a Verified OS Kernel Thomas Sewell Magnus Myreen Gerwin Klein Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-09-23 09:29:29 Software engineering Theoretical computer science Computing Logic in computer science Subroutines Formal methods Formal verification Decompiler Calling convention Isabelle Separation logic Satisfiability modulo theories
66	The Bedrock Structured Programming System Combining Generative Metaprogramming and Hoare Logic in an Extensible Program Verifier Adam Chlipala MIT CSAIL Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2016-01-02 15:47:17 Software engineering Theoretical computer science Computer programming Formal methods Logic in computer science Macro Hoare logic Assertion Separation logic C preprocessor Postcondition Assembly language
67	Program Logics for Certified Compilers Add to Reading List Source URL: vst.cs.princeton.edu Language: English - Date: 2013-05-31 14:00:42 Theoretical computer science Logic in computer science Formal methods Mathematical logic Automated theorem proving Substructural logic Formal verification Compiler correctness Separation logic Correctness Semantics Hoare logic
68	Automating Separation Logic Using SMT Ruzica Piskac1 , Thomas Wies2 , and Damien Zufferey3 1 2 Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2013-10-16 12:00:05
69	Appeared at DAC’03 A Hybrid SAT-Based Decision Procedure for Separation ∗ Logic with Uninterpreted Functions Sanjit A. Seshia Add to Reading List Source URL: uclid.eecs.berkeley.edu Language: English - Date: 2011-01-27 21:52:26
70	Rely-Guarantee References for Refinement Types Over Aliased Mutable Data (Extended Version ∗) Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,mernst,djg}@cs.washington.edu Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-11-06 23:27:51 Mathematical logic Logic Theoretical computer science Logic in computer science Semantics Heap Predicate Immutable object Separation logic First-order logic Control FO

UPDATE